Second-order logic - PDFSEARCH.IO - Document Search Engine

Second-order logic
Results: 101

#	Item
11	Introduction to Tree Logics Pierre Genevès CNRS (slides mostly based on the ones by W. Martens and T. Schwentick) University of Grenoble Alpes, 2015–2016 Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2016-01-19 11:56:00 Model theory Mathematical logic Predicate logic First-order logic FO Second-order logic Structure Term Logic programming
12	Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-09 08:46:00 Non-classical logic Edsger W. Dijkstra Predicate transformer semantics FO First-order logic Null Second-order logic Model theory Free logic Transitive closure
13	TERM EXTRACTION AND RAMSEY’S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH Abstract. In this paper we study with proof-theoretic methods the function(al)s provably recursive relative to Ramsey’s theore Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-09-25 08:51:12 Proof theory Computability theory Logic in computer science Mathematical logic Intuitionism Primitive recursive functional Dialectica interpretation Peano axioms Second-order arithmetic Reverse mathematics Combinatory logic Primitive recursive arithmetic
14	FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:29 Computability theory Proof theory Mathematical logic Metalogic Reverse mathematics Primitive recursive functional Second-order arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Model theory Symbol
15	Math´ematiques `a rebours et un Lemme de K¨onig Faible de Type Ramsey Stage de Master 2 - MPRI mars - aoˆ ut 2012 Ludovic Patey ∗ Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:26 Mathematical logic Computability theory Mathematics Theoretical computer science Proof theory Logic in computer science Theory of computation Second-order arithmetic Combinatory logic Reverse mathematics Computable function
16	Reverse Mathematics and a Weak Ramsey-Type K¨onig’s Lemma Ludovic Patey Laurent Bienvenu Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:41:23 Mathematics Logic Mathematical logic Proof theory Abstraction Computability theory Reverse mathematics Second-order arithmetic Theorem Lemma
17	Second order logic or set theory? Jouko Väänänen Helsinki and Amsterdam 1 Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2011-02-25 10:08:14
18	JMLR: Workshop and Conference Proceedings vol 40:1–21, 2015 Second-order Quantile Methods for Experts and Combinatorial Games Wouter M. Koolen Add to Reading List Source URL: jmlr.org Language: English - Date: 2015-07-20 20:08:36 Statistics Combinatory logic Lambda calculus Logic in computer science Principal component analysis Theoretical computer science Mathematics
19	Representing Streams in Second Order Logic (Coinduction and Coalgebra in Second Order Logic) Herman Geuvers Radboud University Nijmegen and Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2013-01-17 04:22:03 Category theory Mathematics Theoretical computer science Software engineering Functional programming Computer programming Recursion F-coalgebra Coinduction Coalgebra Corecursion First-order logic
20	On the “Logic without Borders” Point of View∗ Juliette Kennedy Department of Mathematics and Statistics University of Helsinki, Finland June 29, 2014 Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2015-04-07 08:36:39 Mathematical logic Logic Model theory Mathematics Large cardinals Set theory Metalogic Stable theory First-order logic Second-order logic Constructible universe Tree